-
1 строгое исчисление предикатов
Russian-english psychology dictionary > строгое исчисление предикатов
-
2 узкое исчисление предикатов
Русско-английский биологический словарь > узкое исчисление предикатов
-
3 исчисление
* * *n. calculus, computation;
исчисление высказываний - propositional calculus;
исчисление предикатов - predicate calculus;
исчисление одноместных предикатов - one-place predicate calculus;
исчисление задач - problem calculus;
чистое исчисление предикатов - pure predicate calculus;
узкое исчисление предикатов - restricted predicate calculus -
4 исчисление предикатов
-
5 исчисление предикатов
Русско-английский военно-политический словарь > исчисление предикатов
-
6 исчисление предикатов
Русско-английский словарь по информационным технологиям > исчисление предикатов
-
7 применяемость предиката
Русско-английский большой базовый словарь > применяемость предиката
-
8 язык основанный на логике предикатов
Русско-английский большой базовый словарь > язык основанный на логике предикатов
-
9 логика предикатов
-
10 предикат
-
11 логика предикатов
Русско-английский новый политехнический словарь > логика предикатов
-
12 векторное исчисление
-
13 исчисление
-
14 узкое исчисление предикатов
Русско-английский словарь по вычислительной технике и программированию > узкое исчисление предикатов
-
15 узкое исчисление предикатов
Русско-английский научно-технический словарь Масловского > узкое исчисление предикатов
-
16 исчисление предикатов
1. functional calculus2. predicate calculus3. predicative calculusРусско-английский большой базовый словарь > исчисление предикатов
-
17 исчисление
n.calculus, computation -
18 исчисление
1) calculus
2) computation
– вариационное исчисление
– векторное исчисление
– дифференциальное исчисление
– интегральное исчисление
– исчисление вероятностей
– исчисление высказываний
– исчисление задач
– исчисление предикатов
– логическое исчисление
– матричное исчисление
– операционное исчисление
– разностное исчисление
– расширенное исчисление
– спинорное исчисление
– тензорное исчисление
– функциональное исчисление
исчисление бесконечно малых — infinitesimal calculus
исчисление одноместных предикатов — one-place predicate calculus
узкое исчисление предикатов — restricted predicate calculus
функциональное исчисление или исчисление предикатов — functional calculus
функциональное исчисление или исчисление предикатов — functional calculus
-
19 дифференциальное исчисление
1. calculus2. differential calculusРусско-английский большой базовый словарь > дифференциальное исчисление
-
20 индескное исчисление
Русско-английский большой базовый словарь > индескное исчисление
- 1
- 2
См. также в других словарях:
predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus … Universalium
Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as … Wikipedia
Ronald Fagin — Infobox Scientist name = Ronald Fagin birth place = Oklahoma, OK, USA residence = Los Gatos, California nationality = American field = Logic in Computer Science, Database theory, Finite model theory, Reasoning about knowledge work institution =… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Relational algebra — Not to be confused with Relation algebra. Relational algebra, an offshoot of first order logic (and of algebra of sets), deals with a set of finitary relations (see also relation (database)) that is closed under certain operators. These operators … Wikipedia